formal scheme

形式概型